Algebraic and relational models for a system based on a poset of two elements
نویسنده
چکیده
The aim of this paper is to present a very simple set of conditions, necessary for the management of knowledge of a poset T of two agents, which are partially ordered by the capabilities available in the system. We build up a formal system and we elaborate suitable semantic models in order to derive information from the poset. The system is related to three-valued Heyting algebras with Boolean operators.
منابع مشابه
The concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کاملCONDITIONAL EXPECTATION IN THE KOPKA'S D-POSETS
The notion of a $D$-poset was introduced in a connection withquantum mechanical models. In this paper, we introduce theconditional expectation of random variables on theK^{o}pka's $D$-Poset and prove the basic properties ofconditional expectation on this structure.
متن کاملFuzzy Relational Matrix-Based Stability Analysis for First-Order Fuzzy Relational Dynamic Systems
In this paper, two sets of sufficient conditions are obtained to ensure the existence and stability of a unique equilibrium point of unforced first-order fuzzy relational dynamical systems by using two different approaches which are both based on the fuzzy relational matrix of the model.In the first approach, the equilibrium point of the system is one of the centers of the related membership fu...
متن کاملMetadata Enrichment for Automatic Data Entry Based on Relational Data Models
The idea of automatic generation of data entry forms based on data relational models is a common and known idea that has been discussed day by day more than before according to the popularity of agile methods in software development accompanying development of programming tools. One of the requirements of the automation methods, whether in commercial products or the relevant research projects, ...
متن کاملEconomic Analysis of Implementing Respirator Program or Ventilation System in a Manufacturing Environment
The techniques and methods of developing cost models for respirators are discussed. Models are developed and implemented in this study for nineteen types of respirators in two major classes (air-purifying and supplied-air) and one LEV system. One respirator model is selected for detailed discussion from among the twenty models. The technical cost method is used in constructing the cost models f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1407.1015 شماره
صفحات -
تاریخ انتشار 2014